< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
基于 Ma t l a b语言的遗传算法工具箱支持二进制和浮点数编码方式, 并且提供了多种选择、 交叉、 变异的方法。 通过具体实例对 Ma t l a b的遗传 算法工具箱的用法进行 了说 明介绍.
上传时间: 2017-09-05
上传用户:671145514
delphi&java&visul c++的各种语言的编程规范,语言通俗易懂,编程高手的心得!
上传时间: 2014-01-08
上传用户:450976175
~{JGR 8vQ IzWwR5SC5D2V?bD#DbO5M3~} ~{3v?b~} ~{Hk?b~} ~{2iQ/5H9&D\~} ~{?IRTWw@)3d~} ~{TZ~}JDK1.4.2~{OBM(9}~}
上传时间: 2015-02-22
上传用户:ommshaggar
欧拉方法编程c语言
上传时间: 2014-01-09
上传用户:skhlm
b to b 模式 电子商务系统 ,c# 开发 , B/S结构
上传时间: 2014-01-20
上传用户:hanli8870
最好的学习WEB编程的语言,大家一定有勇的
上传时间: 2014-01-16
上传用户:shinesyh
这几个文档较为详细的阐述了在C51单片机编程中语言的规范,中断的准确使用以及一些常见问题
上传时间: 2013-12-25
上传用户:wfeel
AdvPythonTechWS 是esri公司提供的一种编程实现语言,本程序是其中的一个小例子!
标签: AdvPythonTechWS esri 编程实现 程序
上传时间: 2013-12-28
上传用户:ainimao
esri公司的编程环境语言,本代码的功能是实现批处理的功能效果!
上传时间: 2016-01-10
上传用户:youlongjian0